The Formal Definition Of A Sequence.